Wyniki
-
Proof Compression and NP versus PSPACE II
Lew Gordeev, Edward Hermann Haeusler
Bulletin of the Section of Logic , 49 /3 (2020) s. 213-230 -
A Natural Deduction System for CTL
Christian J. Renteria, Edward Hermann Haeusler
Bulletin of the Section of Logic , 31 /4 (2002) s. 231-240 -
An infinitary extension of MALL-
Luiz Carlos P.D. Pereira, Edward Hermann Haeusler
Bulletin of the Section of Logic , 28 /4 (1999) s. 225-233 -
Completeness of an action logic for timed transition Systems
Fernando Naufel do Amaral, Edward Hermann Haeusler
Bulletin of the Section of Logic , 29 /4 (2000) s. 151-159 -
NUL: Natural Deduction for Ultrafilter Logic
Christian J. Renteria, Edward Hermann Haeusler, Paulo A.S. Veloso
Bulletin of the Section of Logic , 32 /4 (2003) s. 191-199